Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation

Scaling of global inputoutput networks

Examining scaling patterns of networks can help understand how structural features relate to the behavior of the networks. Input–output networks consist of industries as nodes and inter-industrial exchanges of products as links. Previous studies consider limitedmeasures for node strengths and link weights, and also ignore the impact of dataset choice. We consider a comprehensive set of indicato...

Optimal Control of Unknown Nonlinear System From Inputoutput Data

A Classroom Simulation to Teach Economic InputOutput Life Cycle Assessment

Life cycle assessment (LCA) methods and tools are increasingly being taught in university courses. Students are learning the concepts and applications of process-based LCA, input−output-based LCA, and hybrid methods. Here, we describe a classroom simulation to introduce students to an economic input−output life cycle assessment (EIO-LCA) method. The simulation uses a simplified four-industry ec...

A Reified Temporal Logic For Nonlinear Planning

Deductive planning treats planning as a reasoning process within a formal logic. Several formal logics have been applied in various deductive planning systems, but none is completely satisfactory and widely accepted by planning researchers. Almost all the formal logics applied in deductive planning are proposed for more general purpose than planning. Usually, the more general and the more expre...

Distributed control of nonlinear diffusion systems by inputoutput linearization

This paper addresses the distributed control by input–output linearization of a nonlinear diffusion equation that describes a particular but important class of distributed parameter systems. Both manipulated and controlled variables are assumed to be distributed in space. The control law is designed using the concept of characteristic index from geometric control by using directly the PDE model...